Finding things in the PROBLEMS file is too hard. It's not organized by symptom, and a lot of whst's there is historical cruft. Reorganized version enclosed -- Eric S. Raymond