missed a line, use gcc 4.7