diff --git a/util/.distr b/util/.distr
index 92794ad6..67c107f6 100644
--- a/util/.distr
+++ b/util/.distr
@@ -15,3 +15,4 @@ opt
 shf
 topgen
 int
+ceg