K 10 svn:author V 3 sat K 8 svn:date V 27 2006-08-21T20:04:06.000000Z K 7 svn:log V 46 - A tiny fix to work around a make deficiency END