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