Build fix for Mangle.cpp.