mysqldump : --routines becomes optional