Add missing include.

Should fix the bots.