fix windows build

was broken with 2d2ef5fe61f985634dd2e438649d867ace092f59