Fixes #41: some functionalities do not work on Windows