diff --git a/linux/snap/coq_wrapper b/linux/snap/coq_wrapper
index 144e48b948..12bcc8cf1b 100755
--- a/linux/snap/coq_wrapper
+++ b/linux/snap/coq_wrapper
@@ -19,7 +19,7 @@ export LD_LIBRARY_PATH="$COQSTUBLIBS:$LD_LIBRARY_PATH"
 if [ "$SELF" == "bash" -o "$SELF" == "sh" ]; then # for debugging the snap
   exec $SELF "$@"
 elif [ "$SELF" == "coq_makefile" ]; then
-  exec $COQBIN/$SELF COQBIN = "$COQBIN/" "$@"
+  exec $COQBIN/$SELF "$@" COQBIN = "$COQBIN/"
 else
   exec $COQBIN/$SELF "$@"
-fi
\ No newline at end of file
+fi