Gene Heskett via tde-users wrote:

> Debian Stretch install, uptodate AO this morning.
> 
> Cheers, Gene Heskett

Gene, why Stretch and also if you need mp4 player why not use the
http://deb-multimedia.org

deb http://deb-multimedia.org buster main non-free

not sure if they support stretch ... but it is the best source for debian
multimedia.
I gave up on VLC long time ago. I use mplayer since then and I ported
kplayer to TDE (not sure if it is officially in although it seems it might
be in the PSBs or such).
https://mirror.git.trinitydesktop.org/gitea/TDE/kplayer
I can just highly recommend it as it is using mplayer as the video engine.

regards