mysqldump from a database with reproducible core dump