Windows Lean (4.18.0-pre, x86_64-w64-windows-gnu, commit c7f706baebc2, Release) segfaults when building stage2 compiler bug Something isn't working P-low We are not planning to work on this issue ...