a Windows fix missing from d50462a51306d0eb445c23d01c35c6efd02e2f59.