diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index da90bc08a..3f416778b 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 b07bd6139..c7246110a 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 3dd8a8cd5..583d560e1 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ