Correcting the use of video_file in avi.py