Include correct mangled name following namespace change