Further tweak to Travis CI config