Modify gdbinit as per https://github.com/gdbinit/Gdbinit