Tag: Convert a .wmv file to .avi on the linux command line