Changed Travis CI configuration