travis: wget from Galois-cached binary.