gdb-mi not working too well - reenable gud