upgrade ENSIME config to latest