Fix Windows shell
Merge pull request #90 from emmanuel-keller/master

Fix Windows shell