More Travis CI config tweaks.