Make it work with GDB 7.4 as well as 7.5