diff --git a/mini_core_hello_world b/mini_core_hello_world
deleted file mode 100755
index f7f7af4b144..00000000000
Binary files a/mini_core_hello_world and /dev/null differ