text.hpp: remove unused headers