the problem on Windows was fixed