What's the reason for using `__WIN32__` here and not `__WINDOWS__`?