Fix ensime/ensime-server#477