diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 0b360ac4364fb05991d2e840e6267d25962b2e1f..b360de72f11249c56218a8a5ff09aae1714dc692 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}
 }