Temporary Fix for Travis-CI (and Jenkins) build
Merge pull request #471 from simon816/travis-ci-fix

Temporary Fix for Travis-CI (and Jenkins) build