[Bug 53653] winmine.exe is not scaled properly to match the output DPI