[polyml] mlEdit crashes on Windows