Fix a couple of tutorials to make them working on Windows