WHIRR-732. Fix CDH repo for Ubuntu 12.04. Contributed by sebastien goasguen.