refix the dump stuff again
more fixes to ext/standard