diff --git a/build-with-barvinok.sh b/build-with-barvinok.sh
index 4370aef5b369a9d709de5e8e25b5e20c51fd9b4e..0a7b128f8381d4342a475c9fc787328c45bba9f8 100755
--- a/build-with-barvinok.sh
+++ b/build-with-barvinok.sh
@@ -12,7 +12,7 @@ BARVINOK_GIT_REV="barvinok-0.41"
 NPROCS=30
 
 if true; then
-  rm -Rf "$PREFIX" "$BUILD_DIR"
+  rm -Rf "$BUILD_DIR"
 
   mkdir "$BUILD_DIR"
   cd "$BUILD_DIR"
@@ -31,7 +31,7 @@ if true; then
   git checkout $BARVINOK_GIT_REV
   ./get_submodules.sh
   sh autogen.sh
-  ./configure --prefix="$PREFIX" --with-ntl-prefix="$PREFIX" --enable-shared-barvinok
+  ./configure --prefix="$PREFIX" --with-ntl-prefix="$PREFIX" --enable-shared-barvinok --with-pet=bundled
 
   make -j$NPROCS
   make install