diff --git a/compiler/lib/Dialect/HLFHE/IR/HLFHEOps.cpp b/compiler/lib/Dialect/HLFHE/IR/HLFHEOps.cpp
index 43f6fe591..87805d462 100644
--- a/compiler/lib/Dialect/HLFHE/IR/HLFHEOps.cpp
+++ b/compiler/lib/Dialect/HLFHE/IR/HLFHEOps.cpp
@@ -110,9 +110,11 @@ bool verifyEncryptedIntegerInputsConsistency(::mlir::OpState &op,
   // Disable this check for the moment
   // Check the witdh of the encrypted integer and the integer of the tabulated
   // lambda are equals
-  // if (ct.getWidth() != l_cst.getElementType().cast<IntegerType>().getWidth()) {
+  // if (ct.getWidth() != l_cst.getElementType().cast<IntegerType>().getWidth())
+  // {
   //   op.emitOpError()
-  //       << " should have equals width beetwen the encrypted integer result and "
+  //       << " should have equals width beetwen the encrypted integer result
+  //       and "
   //          "integers of the `tabulated_lambda` argument";
   //   return mlir::failure();
   // }
diff --git a/compiler/lib/Dialect/MidLFHE/IR/MidLFHEOps.cpp b/compiler/lib/Dialect/MidLFHE/IR/MidLFHEOps.cpp
index cdf516bc8..073749940 100644
--- a/compiler/lib/Dialect/MidLFHE/IR/MidLFHEOps.cpp
+++ b/compiler/lib/Dialect/MidLFHE/IR/MidLFHEOps.cpp
@@ -126,8 +126,10 @@ mlir::LogicalResult verifyApplyLookupTable(ApplyLookupTable &op) {
   // Disable this check for the moment
   // Check the witdh of the encrypted integer and the integer of the tabulated
   // lambda are equals
-  // if (result.getP() < l_cst.getElementType().cast<IntegerType>().getWidth()) {
-  //   op.emitOpError() << "should have the width of the constants less or equals "
+  // if (result.getP() < l_cst.getElementType().cast<IntegerType>().getWidth())
+  // {
+  //   op.emitOpError() << "should have the width of the constants less or
+  //   equals "
   //                       "than the precision of the encrypted integer";
   //   return mlir::failure();
   // }
diff --git a/compiler/lib/Runtime/CMakeLists.txt b/compiler/lib/Runtime/CMakeLists.txt
index 973a9a48c..0019be33d 100644
--- a/compiler/lib/Runtime/CMakeLists.txt
+++ b/compiler/lib/Runtime/CMakeLists.txt
@@ -3,4 +3,4 @@ add_library(ZamalangRuntime SHARED
     wrappers.c
 )
 
-target_link_libraries(ZamalangRuntime Concrete)
\ No newline at end of file
+target_link_libraries(ZamalangRuntime Concrete pthread m dl)
\ No newline at end of file