Merge pull request #175 from tbouron/master

Fix running permissions when building with Docker on Jenkins