Ditched own gdb hack in favour of minimal_gdb
Merge branch 'master' of github:/baabelfish/dotfiles