correct mysql restore

(use mysql, not mysqldump)