PR build says that this header is missing. Is the header wrong in some way?