diff --git a/optionals/server/$NOBIN$ b/optionals/server/$NOBIN$
new file mode 100644
index 0000000000..e69de29bb2