Install lean libraries.