Fixing Travis CI settings