diff --git a/divine/mc/bitcode.hpp b/divine/mc/bitcode.hpp
index 006fdb1130e2b56804da5fbff6c68eaa6163dd94..99bf8c3d2e4d1eb135259bba3cb9460664408608 100644
--- a/divine/mc/bitcode.hpp
+++ b/divine/mc/bitcode.hpp
@@ -60,7 +60,9 @@ struct BCParseError : brq::error { using brq::error::error; };
 
 struct BCOptions
 {
-    using Env = std::vector< std::tuple< std::string, std::vector< uint8_t > > >;
+    using bstr = std::vector<uint8_t>;
+    using env_option = std::tuple< std::string, bstr >;
+    using Env = std::vector< env_option >;
 
     brq::cmd_file input_file;
     std::vector< std::string > ccopts;