K 10 svn:author V 3 bde K 8 svn:date V 27 1997-04-23T10:16:58.000000Z K 7 svn:log V 125 Removed inconsistent declaration of malloc(). `make world' with DESTDIR set to something other than "/" now actually works. END