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)