svn: fix checkout