diff --git a/include/.distr b/include/.distr
new file mode 100644
index 00000000..b13b150f
--- /dev/null
+++ b/include/.distr
@@ -0,0 +1,3 @@
+_tail_mon
+_tail_cc
+occam