Windows fix: missing include