Fix gdb build with -std=gnu++11
This page took 0.673095 seconds and 3 git commands to generate.