[misc-sanity] Use ogv/ogg instead of mp4/mp3