fix windows build

was broken with efff5a3daeb0571bb3fe8345b72d3f77b79d0066