Only use cxxabi.h's demangler, if it is actually available.