This device (jdhdduo) has the u42 software revision. This revision includes dinobot player:

[dinobot] u42 add dinobot player . oe-alliance/oe-alliance-core@a9cfc6f . GitHub

This player is quite buggy and does not work well on my device. However I can flash the u41 image from another box, which uses usual gstreamer based servicemp3 player. Then player works really good. However, the sat-tv does not work with this image, due to incompatible drivers I guess.

Why do you provide this buggy dinobot player? Can you remove it? Can you make it at least as an alternative service id?