diff --git a/tools/niminst b/tools/niminst
deleted file mode 100644
index 188cb78b63..0000000000
Binary files a/tools/niminst and /dev/null differ