fixing travis for now, look at this later