attempt to fix jenkins
Merge pull request #100 from PatrickDeelen/master

attempt to fix jenkins