Updated to new static_module naming scheme. Rev: lib/master.pike.in:1.276 Rev: src/dumpmaster.pike:1.11