Hopefully fix Windows build issue