Fix Windows shell
Merge pull request #89 from emmanuel-keller/1.5

Fix Windows shell