Ensure WIN32 can be read

Workaround for issue #9.