Fix Travis CI config