mysqldump fails with ‘help_topic’ is marked as crashed and should be repaired