Fixes to Travis CI config.