I was using an older relase 4.1.6, with the newest one I'm receiving an mkv file too. But I can only get the Spanish channel which is wrongly described as "audio_ita", I'd prefer "audio". And as RMC's demo version won't download more than 1 minute of a live stream, is there any freeware that could do it?
I managed to use
ISMDownloader and it works fine!