Travis fix

Fixing permission issues with Travis CI, I hope.