fixup! Use custom script to provision Travis