By the way, I have found another OSMC thread about the download problems.
Apparently they favour avconv over ffmpeg and it is available with apt-get.
I installed it but I have not yet been able to figure out how to command it to download a stream to disk…