Revert "deleted lib"

This reverts commit 7fd75dff0ff71b522343c002a7742eb7c0e568b4.