Argh, my script accidentally overwrote my custom Travis file.