BUILD: fix spelling error
BUILD: better build options in Jenkins