I‘ve download files in ogg formats which is unrestricted by software patents. However, my video editing application is not accepting .ogv video file. How do I convert .ogv to .avi using Linux or Unix bash command line options?