Modify provisioning for Travis CI