diff --git a/divine/mc/exec.cpp b/divine/mc/exec.cpp
index be92d60d4df839b8a431f0e8a7461b48d9944dc4..79f9e1c0274789d73544a532a710aa9184165b99 100644
--- a/divine/mc/exec.cpp
+++ b/divine/mc/exec.cpp
@@ -33,7 +33,8 @@ namespace divine::mc
     {
         using Eval = vm::Eval< ExecContext >;
         auto &program = _bc->program();
-        ExecContext _ctx( program );
+        ExecContext _ctx;
+        _ctx.program( program );
         Eval eval( _ctx );
 
         vm::setup::boot( _ctx );