Found a necessary library, and unzipped finally!