diff --git a/lib/cbmc b/lib/cbmc
index d148ae6e8..cdee49cb1 160000
--- a/lib/cbmc
+++ b/lib/cbmc
@@ -1 +1 @@
-Subproject commit d148ae6e880a3ef167bb71e9ed28169578899dce
+Subproject commit cdee49cb1a32c6d6703cebf6ae67161977264ad4
diff --git a/src/ebmc/ebmc_solver_factory.cpp b/src/ebmc/ebmc_solver_factory.cpp
index 39f04f86d..af0db4328 100644
--- a/src/ebmc/ebmc_solver_factory.cpp
+++ b/src/ebmc/ebmc_solver_factory.cpp
@@ -131,6 +131,7 @@ ebmc_solver_factoryt ebmc_solver_factory(const cmdlinet &cmdline)
             std::string("Generated by EBMC ") + EBMC_VERSION,
             "QF_AUFBV",
             smt2_solver.value(),
+            "", // solver binary
             message_handler)};
         }
       };