fix windows build
fix #4213. seriously, that was all that was needed?