Trying these changes for Travis CI