fix jenkins
Merge pull request #37 from thomaroger/troger-fix-jenkins-playground-0

fix jenkins