modify jenkins.conf. refs #5