Core dump epidemiology: fixing an 18-year-old bug

8 points by jmillikin