Fix spec names to not be mangled by anonymous namespace