I've bumped the happy version to forbid deprecated Happy versions which
don't successfully compile.