Fix coverity download.

This is what is failing in current Travis builds (this is at least one of the reasons).