Update dumpinfo.pl