fix file names in build.sh