fix lib.cpp