K 10 svn:author V 6 jseger K 8 svn:date V 27 1998-01-30T23:53:57.000000Z K 7 svn:log V 54 Fixes for port to work cleanly with changed DISTFILE. END