config_debs(): use *.deb instead of full wildcard as default for $DEBS.