2b784db Hopefully fix CI on Windows