Patch to Travis CI config.