Use happy version.