fix (Windows) issue #42