Does it fix #1212 on Windows?