VLC for Android: no sound from MKV files through HDMI port

Since the recent upgrade to VLC for Android (version dated 2019-03-29), there is no sound from MKV files when my Archos tablet is connected to my TV through the HDMI port. No problem with other media file types and sound from MKV files plays correctly via the internal speakers when HDMI is not connected. Same MKV files play correctly via HDMI port using VLC on Windows 10 laptop.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information