Moved to installing latest happy from a PPA