Redirect to latest version of mplayer 20250527.3