Add missing include in one of the installed headers