Add missing include found by the bots.