Tweaking the Travis CI config.