Remove Travis config hacks