Now I get
#### /usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:
Cannot find Tools.Standalone.dump() in
master()->dirnode("/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod":Tools.Standalone.module).
/usr/lib/pike7.8/master.pike:4956:
master()->Encoder()->find_index(master()->dirnode("/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod":Tools.Standalone.module),Tools.Standalone.dump(),UNDEFINED,UNDEFINED)
/usr/lib/pike7.8/master.pike:5172:
master()->Encoder()->nameof(@0=Tools.Standalone.dump(),UNDEFINED)
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:222:
Tools.Standalone.dump()->dumpit("/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike","/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike")
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:185:
Tools.Standalone.dump()->dumpit("/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod","/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod")
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:185:
Tools.Standalone.dump()->dumpit("/usr/lib/pike7.8/modules/Tools.pmod","/usr/lib/pike7.8/modules/Tools.pmod")
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:185:
Tools.Standalone.dump()->dumpit("/usr/lib/pike7.8/modules","/usr/lib/pike7.8/modules")
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/dump.pike:343:
Tools.Standalone.dump()->dump_files()
-:1: Pike.Backend(0)->`()(3600.0)
