Fix compile failure introduced in fec6bdba622167ff0db6fef6701bc30eb2c800bf due to missing include