adjust to new svn revision string format in svn_revision.cc