provision.sh: update path