Use filtered output for gdbarch dump