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