In stretch mplayer may be linked to mpv - the current prefered multi-media player in debian. The mplayer2 package does this. Look at /usr/bin/mplayer and see if its a symlink. There is an mplayer package as well - I don't know if its the old mplayer.