Hi,
ich bin heute lästig ...
Zumindest unter debian-stretch kann man entweder mplayer2 ODER mplayer & mencoder lokal installieren.
Will man auch mencoder (wovon ich ausgehe), dann muss im Makefile von mplayer die Abhängigkeit von mplayer2 auf mplayer geändert werden (deps UND version)
BobW