Fixing #1282: Update documentation of build options for schedulers