fixLibPath
fixDrmmato6.2
setDebianDirs
fix_doc_generation
fix_swipl_module_declaration
