Hopefully silence download noise during build (e.g. on travis).