Revert removal of lib

This reverts commit 2e9a81c0c7b3c22bca0c917df808e55d7fa80c88.