How do I switch a copy of the GIT tree to v3.5.13-sru??