Fix the build. We've been missing this include for ages...