Workaround for Windows build failure.

See the comment in setup.py. Fixes #7.