Fixing travis; again