mysql: Improve dump command