Fix venv (bis)

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}
 }