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