Clean up top-level build script.
Clean up top-level build script.

emina/kodkod,nmacedo/Pardinus,nmacedo/Pardinus,emina/kodkod,emina/kodkod,emina/kodkod,nmacedo/Pardinus,nmacedo/Pardinus,emina/kodkod,nmacedo/Pardinus