Fixing travis again (hopefully)