Use a different demangler for the test suite