mysql.dump can take options