Try to fix reported Windows issue (#11).