b1b657e6b5
RELEASE_CRUNCH builds use NO_MAN anyway, so this change is primarily to avoid that developers have to set NO_MAN manually when they build the static variant.