diff --git a/examples/hello-ks13 b/examples/hello-ks13
deleted file mode 100755
index 986b166..0000000
Binary files a/examples/hello-ks13 and /dev/null differ