ee4faa01f053363f05e9e4e257354cf9e1514a14; adds gud-gdb post; pushed by Travis build 26