diff --git a/bin/ks10/_/@.stink b/bin/ka10/_/@.stink
similarity index 100%
rename from bin/ks10/_/@.stink
rename to bin/ka10/_/@.stink
diff --git a/bin/ks10/_/@.teco b/bin/ka10/_/@.teco
similarity index 100%
rename from bin/ks10/_/@.teco
rename to bin/ka10/_/@.teco