K 10 svn:author V 4 mich K 8 svn:date V 27 2003-09-01T11:59:05.000000Z K 7 svn:log V 75 Fix 'make package' bugm reported by bento. Approved by: roberto (mentor) END