Travis CI config fixing