Fix Travis CI file