Placeholder for the real Coverage Windows build (.exe). Replace this file with the built installer, keeping the same name.