Minor changes in scripts/supplementer.pl, deleted dumper