jrl-umi3218/jrl-travis — pull request #6 by bchretien (2013-12-13 17:21:37+00:00)
Title: Fix coverity download.

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