do not return non-ascii symbols from get_fault_string_from_exception