Hopefully this is the last fixing travis