Right.  I assumed that if someone's smart (or dumb?) enough to change the compile-time setting, they hopefully have communicated that to all users of clusters running that binary.

Maybe there's a middle ground here; we could just say "default" without mention of how it can be changed.