fixed Travis CI file