Patch for a bug when compiling with C++11 enabled.