fix building of coverage report

scripts/tools/parcoach.py

 import re
 import os
 from MBButils import *
+from pathlib import Path
 
 
 class Tool(AbstractTool):
@@ -36,6 +37,8 @@ class Tool(AbstractTool):
 
         self.coverage_source = os.path.dirname(self.parcoach_exe)+"/../src/"
 
+        self.so_files = [str(p) for p in list(Path(os.path.dirname(self.parcoach_exe)).rglob("*.so"))]
+
     def run(self, execcmd, filename, binary, id, number, timeout, batchinfo, loglevel=logging.INFO):
 
         self.setup()
@@ -119,7 +122,7 @@ class Tool(AbstractTool):
         )
         if os.path.exists(self.coverage_profile):
             subprocess.run(
-                f"{self.llvm_cov} show -format=html {self.parcoach_exe} "
+                f"{self.llvm_cov} show -format=html {' '.join(self.so_files)} {self.parcoach_exe} "
                 f"--instr-profile={self.coverage_profile} "
                 f"--show-directory-coverage --output-dir {self.coverage_report_html} "
                 f"--sources {self.coverage_source}",