Let's try fixing travis