updated build.sh to only build prover9