To distinguish the differet provide-deps.sh in the same folder, one for the CI container, one for the devel container