Problem with Bluray Dolby TrueHD audio via MakeMKV libs on Linux

Hi,

today I tried to play back a bluray with a Dolby TrueHD 7.1 audio stream. In short, audio doesn’t work, the video starts to stutter. What I can see in the info display is that kodi seems to continuesly redetect the audio stream. It jumps between 5.1, 7.1 and even 2.0. That’s also what I can see in the debug log (had to split it into two parts, see https://pastebin.com/E1xTpUnC and https://pastebin.com/CGkc1q14).

I’m running the following setup:
19:11:04.357 T:139819385674112 NOTICE: Starting Kodi (17.2-RC1 Git:2017-05-18-ce4d3ba). Platform: Linux x86 64-bit
19:11:04.357 T:139819385674112 NOTICE: Using Debug Kodi x64 build
19:11:04.357 T:139819385674112 NOTICE: Kodi compiled May 19 2017 by GCC 6.3.0 for Linux x86 64-bit version 4.9.2 (264450)
19:11:04.357 T:139819385674112 NOTICE: Running on Debian GNU/Linux 9 (stretch), kernel: Linux x86 64-bit version 4.9.0-1-amd64
19:11:04.357 T:139819385674112 NOTICE: FFmpeg version/source: ffmpeg-3.1-kodi
19:11:04.357 T:139819385674112 NOTICE: Host CPU: Intel® Core™ i5-4570T CPU @ 2.90GHz, 4 cores available

uname -a:
Linux watt 4.9.0-1-amd64 #1 SMP Debian 4.9.2-2 (2017-01-12) x86_64 GNU/Linux

GPU is the chipset provided i965.

The bluray is played back using makemkv’s libmmbd.so (version 1.10.4)

Basically my setup works fine for TrueHD 7.1 when I play a TrueHD demo mkv file and even the ripped mkv version of the same bluray plays fine. My Denon X2200W detects the TrueHD stream perfectly. It’s just not working when accessing the disc directly through libmmbd.so

Any ideas what might be wrong here? Is this setup basically expected to be working?

Best regards,
Manuel