Path injection is broken on windows

[gebner]

We try to add c:/msys64/mingw64/bin to the path on windows, since that's where the shared libraries are for msys2, and otherwise lean won't find them. This doesn't seem to work at the moment.