Revert "remove library repo"

This reverts commit 4318834f6de1668b53f171d77f0744a9241c51d5.