diff --git a/bin/cmd b/bin/cmd index 584652188..3b5c67edc 100755 Binary files a/bin/cmd and b/bin/cmd differ diff --git a/bin/gateway b/bin/gateway index 77d8a00e9..1169c78e0 100755 Binary files a/bin/gateway and b/bin/gateway differ diff --git a/bin/mainte b/bin/mainte index 08144d2f0..fcf06a4b5 100755 Binary files a/bin/mainte and b/bin/mainte differ diff --git a/bin/worker b/bin/worker index e730094df..1497519a0 100755 Binary files a/bin/worker and b/bin/worker differ