nhaus12

Further to @jrruethe 's last comment: I added the following to `wsl.sh`, which is run by `start_wsl.bat` (as I am using WSL on an AMD processor): ``` # Originally in...