diff --git a/.gitignore b/.gitignore
index 45a6ec2..78df591 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,5 @@ rebar3.crashdump
 *.erl~
 *.aes~
 aesophia
+.qcci
+current_counterexample.eqc
diff --git a/rebar.config b/rebar.config
index fa40b01..d8dc2ba 100644
--- a/rebar.config
+++ b/rebar.config
@@ -2,7 +2,7 @@
 
 {erl_opts, [debug_info]}.
 
-{deps, [ {aebytecode, {git, "https://github.com/aeternity/aebytecode.git", {ref,"17c2a93"}}}
+{deps, [ {aebytecode, {git, "https://github.com/aeternity/aebytecode.git", {ref,"2a9035d"}}}
        , {getopt, "1.0.1"}
        , {eblake2, "1.0.0"}
        , {jsx, {git, "https://github.com/talentdeficit/jsx.git",
diff --git a/rebar.lock b/rebar.lock
index cf62848..1f85a27 100644
--- a/rebar.lock
+++ b/rebar.lock
@@ -1,7 +1,7 @@
 {"1.1.0",
 [{<<"aebytecode">>,
   {git,"https://github.com/aeternity/aebytecode.git",
-       {ref,"17c2a93e7213387a0fd9f9f9395e12de50355982"}},
+       {ref,"2a9035d5ef72bc65e51e4b9a1a958bb8ba2c6747"}},
   0},
  {<<"aeserialization">>,
   {git,"https://github.com/aeternity/aeserialization.git",