install.py: fix occasional permission issues on Windows