[12588] Restore nix build. Also forget to remove one MANGOSASSERT + cosmetic stuff