K 10 svn:author V 3 phk K 8 svn:date V 27 1995-10-26T09:24:59.000000Z K 7 svn:log V 59 Changed "tools" to "build-tools". Suggested by: Peter Wemm END