fix bug in oe-svnrestore.py