Modified Travis CI file