K 10 svn:author V 3 mat K 8 svn:date V 27 2006-08-15T13:39:14.000000Z K 7 svn:log V 88 pet portlint, fix DESTDIR too PR: 101854 Submitted by: Gea-Suan Lin END