I have a system generating media files without file name extensions. They come in different formats and all need to be converted to mp3. VLC does not manage to always recognize the input file format correctly. It will sometimes crash or work endlessly and never quit. If I rename the file to include ...