Try also wget, for downloading the library.