Move platform-specific details to other headers.