fixes to provisioning.sh