diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index fdcc88114170bebaeea4b70eb87f4a5f0f1af97b..2b4182b16cc6d0df28838f5eeeb103be3aca7ff8 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -116,7 +116,7 @@ fix_venv() {
   mv ${py} ${py}.orig
   cat <<EOT >> ${py}
 #!/usr/bin/env bash
-LD_LIBRARY_PATH=${BOB_PREFIX_PATH}/lib ${py}.orig "${@}"
+LD_LIBRARY_PATH=${BOB_PREFIX_PATH}/lib exec ${py}.orig "\${@}"
 EOT
   run_cmd chmod 755 ${py}
 }