provision.sh: variable for Dockerfile