Fix a compilation failure with --std=c++0x on GCC 4.4.7.