Спасибо TooFat за ваш совет. Это помогло мне понять, что мое предыдущее предположение об отсутствии avifil32.dll было неверным.
Реальной причиной моей проблемы было то, что я использовал библиотеку aviwrapper для экспорта растровых изображений в avi и mpeg (я немного изменил библиотеку, чтобы иметь возможность переключаться между обычным и xvid кодеком). Он работал на моем настольном компьютере и ноутбуке, потому что там у меня уже был установлен кодек xvid, но на виртуальной машине с чистой Windows XP он не работал (кодек xvid отсутствовал).
Я понял это, посмотрев файл журнала. На самом деле мой метод пытался сначала экспортировать в .mpg, а затем получил исключение при сжатии avi (из-за xvid). После этого он пытается экспортировать в .avi, но предыдущая попытка что-то испортила, а экспорт в .avi вызывает исключение при открытии файла (оба экспорта используют одно и то же временное имя файла, и поэтому он вызывает исключение при открытии файла).
После того, как я закомментировал экспорт .mpg, все работало просто отлично, и мне не пришлось включать вышеупомянутую dll.
Еще раз спасибо за ваш ответ.