add dumpdefs
minor