diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index e82893c3b1e9213ea7a833b1d4e9be1cf14325d4..ae32a16f409c86adb9ee8691297915d55e87f448 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -218,7 +218,10 @@ else
 fi
 
 PYVER=py$(echo ${PYTHON_VERSION} | tr -d '.')
-BOB_PREFIX_PATH=${CONDA_FOLDER}/envs/bob-devel-${PYVER}
+if [ -z "${BOB_PREFIX_PATH}" ]; then
+  # Default on stock installations for our CIs
+  BOB_PREFIX_PATH=${CONDA_FOLDER}/envs/bob-devel-${PYVER}
+fi
 LD_LIBRARY_PATH=${BOB_PREFIX_PATH}/lib
 
 if [ -z "${PYPISERVER}" ]; then