demangle_typename : improve platform check