mana-ext-gdb builds gdb for mana