How come this doesn't work? I have changed the file according to the instructions here and it still defaults to ffmpeg.