mana-ext: fixups for gdb
tagging mana-20130208