fix ENSIME loading