Travis-CI patches.