hotfix for https://github.com/ensime/ensime-server/issues/562