Jan Busch

I have created a pull request for the suggested solution, https://github.com/LS-Lab/KeYmaeraX-release/pull/111

@smitsch Hi, since this really blocks launching the keymaerax server on Windows, and since this is a rather small change, I'd be grateful if you would consider merging my PR...