Travis: another bootstrap