fixed typo in instructions for generating a mysql core file