fix wrong file extension

Until now whenever a Stream is downloaded using Stream::download, the resulting file has mp4 extension. From now on, the extension is dynamically evaluated by the mime type.