diff --git a/bin/gateway b/bin/gateway deleted file mode 100755 index d77c38ba8..000000000 Binary files a/bin/gateway and /dev/null differ diff --git a/bin/mainte b/bin/mainte deleted file mode 100755 index 776150e5c..000000000 Binary files a/bin/mainte and /dev/null differ diff --git a/bin/worker b/bin/worker deleted file mode 100755 index 52667cfd3..000000000 Binary files a/bin/worker and /dev/null differ