Windows installer: do not use sudo when unnecessary