Attempt to fix build on jenkins.
Merge pull request #102 from xschildw/develop

Attempt to fix build on jenkins.