leanproject : error getting mathlib

Stream: new members

[Matthias U]

I'm trying to get a copy of the mathlib to work on. However leanproject get mathlib produces the following error:

Error cloning via SSH, trying HTTPS...
Cloning from https://github.com/leanprover-community/mathlib.git
info: downloading component 'lean'
error: binary package was not provided for 'linux'
Command '['leanpkg', 'configure']' returned non-zero exit status 1.

On the other hand, git clone https://github.com/leanprover-community/mathlib.git works and downloads a copy of the mathlib.

Do you have any idea what the problem could be?