K 10 svn:author V 3 sef K 8 svn:date V 27 1998-01-09T00:39:10.000000Z K 7 svn:log V 332 Proper way to do the previous mis-commit. Still not quite right, because some header files (e.g., ) include , and this will not pick up the right header files, so it may be removed eventually anyway. But some people who are not willing to build the right way apparantly want this, so this is for them. END