diff --git a/src/Tools/NEED b/src/Tools/NEED
new file mode 100644
index 00000000..0f1b99e2
--- /dev/null
+++ b/src/Tools/NEED
@@ -0,0 +1 @@
+FCI