Your patch to alpha.md causes bootstrap failure

[Richard Kenner]

    More curiously, this alternative is only supposed to trigger with
    profiling enabled.  Was it with your bootstrap?

No.  I was curious about that as well.