How to change a file extension of a video clip