try fixing travis :(