Hacky way to avoid travis mirror problem