diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ba61c71b2b..a672d8ed39 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -170,6 +170,7 @@ debian-tracing:
   variables:
     TRACING: "yes"
     CHECK: "no"
+    DISTCHECK: "yes"
   script:
     - ./scripts/ci/ci-driver.sh
   # Ensure that we only run tracing when it's implemented.
diff --git a/src/core/or/include.am b/src/core/or/include.am
index 9ff92adbde..7c42268c46 100644
--- a/src/core/or/include.am
+++ b/src/core/or/include.am
@@ -71,6 +71,7 @@ noinst_HEADERS +=					\
 	src/core/or/entry_port_cfg_st.h			\
 	src/core/or/extend_info_st.h			\
 	src/core/or/listener_connection_st.h		\
+	src/core/or/lttng_circuit.inc			\
 	src/core/or/onion.h				\
 	src/core/or/or.h				\
 	src/core/or/or_periodic.h			\