Fixes #4720 Use mysql command to restore database instead of mysqldump