Convert mov to avi on Ubuntu.