BUILD: explain the USE_UTMPX option a little better