fix provisioning to get this to work on linux box