Tweak auto-generate Travis config