Fix previous commit. Renaming files using git-svn doesn't seem to work - the old...