- patch for gcc-4.7