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