adding missing lib.hpp