/usr/lib/pike7.8/modules/ is in pike7.8-dev 7.8.700-7.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/pike7.8/modules/Tools.pmod/
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/CExtractor.pmod
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/DocParser.pmod
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/MirarDocParser.pike
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/PikeExtractor.pmod
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/PikeObjects.pmod
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/PikeParser.pike
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/ProcessXML.pmod
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/debug.h
/usr/lib/pike7.8/modules/Tools.pmod/AutoDoc.pmod/module.pmod
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/assemble_autodoc.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/extract_autodoc.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/join_autodoc.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/module.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/monger.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/pmar_install.pike
/usr/lib/pike7.8/modules/Tools.pmod/Standalone.pmod/precompile.pike