diff --git a/solvers/minion/build.sh b/solvers/minion/build.sh
index fb85ecd73..2bac9d9ef 100755
--- a/solvers/minion/build.sh
+++ b/solvers/minion/build.sh
@@ -14,7 +14,7 @@ if [ -d vendor/build ]; then
 else
   mkdir -p vendor/build
   cd vendor/build
-  python3 ../configure.py --lib 
+  python3 ../configure.py --lib --quick
 fi
 
 echo "------ BUILD STEP ------"