chiark / gitweb /
fixes to windows setup.py; thanks to Robert G for the patch