fix windows bug #5