provision.sh fixups