Change default options for Jenkins build