Merge pull request #6 from bchretien/master

Fix coverity download.
Fix coverity