minor updates to wininst.py