diff --git a/projects/bls-signatures/build.sh b/projects/bls-signatures/build.sh
index 6c9beca08..27eb1e936 100755
--- a/projects/bls-signatures/build.sh
+++ b/projects/bls-signatures/build.sh
@@ -164,6 +164,7 @@ fi
 if [[ "$SANITIZER" != "memory" ]]
 then
     cd $SRC/mcl/
+    make bint_header
     mkdir build/
     cd build/
     if [[ $CFLAGS != *-m32* ]]