diff --git a/src/ac/eql b/src/ac/eql
new file mode 100755
index 000000000..99cfa9a09
--- /dev/null
+++ b/src/ac/eql
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=EQL $1 $2 $3 $4 $5 $6
diff --git a/src/ac/glxt b/src/ac/glxt
new file mode 100755
index 000000000..6cedfbf87
--- /dev/null
+++ b/src/ac/glxt
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=GLXT $1 $2 $3 $4 $5 $6
diff --git a/src/fiat-cli b/src/fiat-cli
index 8e54aeeb6..6183f35d1 100755
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -28,5 +28,5 @@ echo bntn; fiat/bntn $1 $2 $3 $4
 echo chain; fiat/chain $1 $2 $3 $4
 echo prlpay; fiat/prlpay $1 $2 $3 $4
 echo dsec; fiat/dsec $1 $2 $3 $4
-echo dsec; fiat/glxt $1 $2 $3 $4
-echo dsec; fiat/eql $1 $2 $3 $4
+echo glxt; fiat/glxt $1 $2 $3 $4
+echo eql; fiat/eql $1 $2 $3 $4