deleting old lib.cpp (unintentionally not included in the previous commit)