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