BUILD: better build options in Jenkins