diff --git a/build-with-barvinok.sh b/build-with-barvinok.sh
index afa67be6e637e7cda516ce603e805224ff73eb4c..4370aef5b369a9d709de5e8e25b5e20c51fd9b4e 100755
--- a/build-with-barvinok.sh
+++ b/build-with-barvinok.sh
@@ -8,7 +8,7 @@ echo "BUILDING IN $BUILD_DIR"
 
 PREFIX="$HOME/pack/barvinok"
 NTL_VER="10.5.0"
-BARVINOK_GIT_REV="79944db"
+BARVINOK_GIT_REV="barvinok-0.41"
 NPROCS=30
 
 if true; then