Redirect to latest version of hxdosgui 20250523.2