Fixing High DPI issues with Remote Desktop on Windows 10