Fix codemirror path, again!