Trying to fix permissions issue with Travis CI