Fix gdb helper for Au printer
Merge pull request #3514 from glennw/gdb-helper

Fix gdb helper for Au printer

Reviewed-by: metajack