Fix gdb helper for Au printer