Is it possible to convert mp4 video,shot with my Sony a6000 camera,to AVI,to play on a tv that apparently only supports AVI?There are other formats I could shoot with on this camera, but I think they are proprietary sony, so probably not Linux compatible.I am using Mint 20.1.I tried Handbreak, but it only seems to convert to mkv and m4u.Also tried VLC,but the convert button does nothing.Maybe I need a plugin or something.Scratching already hairess head....