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

[RFR] fix jenkins build