diff --git a/etc/build/install-gecode.sh b/etc/build/install-gecode.sh
index 6f273cf969..6f4235c6d2 100755
--- a/etc/build/install-gecode.sh
+++ b/etc/build/install-gecode.sh
@@ -13,8 +13,8 @@ cd gecode
 git checkout release-6.0.1
 mkdir build
 cd build
-../configure --enable-cpprofiler --disable-qt --disable-gist --enable-static
-make -j
+../configure --disable-qt --disable-gist --enable-static
+make
 cp tools/flatzinc/fzn-gecode ${BIN_DIR}/fzn-gecode
 echo "gecode executable is at ${BIN_DIR}/fzn-gecode"
 ls -l ${BIN_DIR}/fzn-gecode