https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66104 --- Comment #8 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the server is using the standard subversion package from RHEL 6, not a local build.