Reintroduced a kludge for the time being to avoid (hopefully) the infinite recursion problem during dumping. Rev: lib/master.pike.in:1.287