diff --git a/benchexec/tools/lazycseq.py b/benchexec/tools/lazycseq.py
index <HASH>..<HASH> 100644
--- a/benchexec/tools/lazycseq.py
+++ b/benchexec/tools/lazycseq.py
@@ -30,10 +30,12 @@ class Tool(cseq.CSeqTool):
     REQUIRED_PATHS = [
         "cbmc",
         "cbmc-5.4",
+        "esbmc",
         "core",
         "cseq.py",
         "lazy-cseq.py",
         "pycparser",
+        "pycparserext",
         "modules",
     ]
Update lazycseq.py