diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index 4baa10866..f00582474 100755 Binary files a/server/darwin/rescript-editor-support.exe and b/server/darwin/rescript-editor-support.exe differ diff --git a/server/linux/rescript-editor-support.exe b/server/linux/rescript-editor-support.exe index f96a9373f..c0c1abf42 100755 Binary files a/server/linux/rescript-editor-support.exe and b/server/linux/rescript-editor-support.exe differ diff --git a/server/win32/rescript-editor-support.exe b/server/win32/rescript-editor-support.exe index f9ad885ed..e87039794 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ