Revert "rm superfluous src/lib from other contributors"

This reverts commit fbc2f76c9a1097628ed4e58a81c40bb02e984973.