Use AVI instead of MP4 for testing

The codecs used for AVI seem to have less of an impact than the MP4
codecs at the moment.