K 10 svn:author V 3 bde K 8 svn:date V 27 1996-09-03T12:52:58.000000Z K 7 svn:log V 135 Added #include of so that there is some chance that _POSIX_SAVED_IDS is defined. This feature was broken for a day or two. END