Update dump_db.pl