Update patch for GCC Bug 56742