Tweak to Travis-CI config.