* Make config() work with many files

	modified:   Build/lib/util.sh