Missed a GCC patch