Suspicious: why is this include suddenly required -- should it be somewhere else? in the header that actually needs it?