[Subversion] Fix a case sensitivity issue with a filename

Now it works...