A zarith dependency was added to the alt-ergo ebuild. A manifest regeneration needed.