Modified Travis CI configuration