manage JENKINS_HOME better