More tweaks to Travis CI config.