Win32-specific installation procedures
