Patch for gcc-4.7.x problem