a few more changes to use MacOS X as a provisioner