Set tip in travis to download from the right source