diff --git a/machine b/machine
deleted file mode 100755
index 1fe71bea2d..0000000000
Binary files a/machine and /dev/null differ