Fix coverity download.
Merge pull request #6 from bchretien/master

Fix coverity download.