Work around the fact that GNU libstdc++'s debug mode uses RTTI.