Tweaks to Travis CI config.