diff --git a/core b/core deleted file mode 100644 index 9a8bda6cd5..0000000000 Binary files a/core and /dev/null differ