Really fixing travis this time...