fixed (I hope) travis file