clone.sh/update.sh: more git-svn problem workarounds