Tweak Travis-CI config.