dist.ini: make Win32 a dependency for Windows only (issue #291)