trying out avconv for mp4