fix windows build (untested solution)