Try to update happy on Travis CI