Minor tweak to make.sh.