Вот, припекло таки разрулиться с пропавшим кодеком МР3. Все оказалось легко и просто.
В инструкции, которую я выкладывал раньше, таки есть грабли - указанный там кодек МР3 надо ставить отдельно. Видать у меня он прижился от какого-то софта, который я потом снес и, ясное дело, кодек улетел вместе с ним.
Чтобы это безобразия избежать, надо просто поставить отдельно кодек МР3. Самый простой и правильный вариант живет тут -
LAME ACM MP3 Codec 3.98.2После его установки в VirtualDub надо выбрать LameMP3 - и будет вам щасте.