Travis provisioning fix