Я конечно все понимаю, на вкус и цвет, как говорится — хозяина нет, но…..чтобы из-за этого плейера в ядре копаться…извините! Я. например, пользуюсь VLC и MPV (замечательная легкая штуковина, играющая все и в отличном качестве). Можно и ROSA Media Player из deb пакета скачать и установить — превосходный плейер с самым лучшим на мой взгшляд качеством воспроизведения. На базе mpv, но возможностей больше.