Converter from mp4 or mp3 to OGG, using ffmpeg and bash