deps/mathlib: fail to checkout repo