You can change a video file format by using a video converter, such as the one built into Dropbox. Dropbox supports a variety of popular video formats, including AVI, MP4, MOV, MPEG, and MKV.