svn-push script fix