Fix generation of Windows distribution files