Fix #32

Eventually $JENKINS_HOME should be $HOME and $JENKINS_WRKSPC should be
the commented out value.