diff --git a/build-with-barvinok.sh b/build-with-barvinok.sh
index 4370aef5b369a9d709de5e8e25b5e20c51fd9b4e..04a003ccca05981dbc7d7bd133a63398da3c9309 100755
--- a/build-with-barvinok.sh
+++ b/build-with-barvinok.sh
@@ -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