diff --git a/src/ac/ccl b/src/ac/ccl
new file mode 100755
index 000000000..c3d03a0a4
--- /dev/null
+++ b/src/ac/ccl
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6
diff --git a/src/fiat/ccl b/src/fiat/ccl
new file mode 100755
index 000000000..c3d03a0a4
--- /dev/null
+++ b/src/fiat/ccl
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6