Fix coverity download.

This is what is failing in current Travis builds (well, that's at least one of the reasons).