try to fix some includes in cover.hpp