K 10 svn:author V 5 roger K 8 svn:date V 27 1999-09-08T16:04:11.000000Z K 7 svn:log V 58 Fix a filename which contains an explicit version number. END