"codegen/writegitinfoheader.m" did not exist on "85fa575f0aeba25d57233590ba8f66de54e2a386"