diff --git a/server/darwin/rescript-editor-support.exe b/server/darwin/rescript-editor-support.exe index a014d87a1..c68538ff8 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 b373fa428..95479e08e 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 26ce3ad55..f3f08fbf1 100755 Binary files a/server/win32/rescript-editor-support.exe and b/server/win32/rescript-editor-support.exe differ