diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index b54b12a89..a014d87a1 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 c7246110a..b373fa428 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 583d560e1..26ce3ad55 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ