Oi Serpa, tudo bem?
O arquivo IFL é apenas um TXT que indica a sequência de imagens, se clicar no nome dele com o botão direito e escolher a opção "Abrir com", poderá selecionar o Bloco de Notas e ver o arquivo por dentro, vai aparecer o nome de cada imagem da sequência, só isso.
O que importa é a sequência de imagens em si, quando abrir a primeira imagem da sequência em qualquer programa de vídeo ele vai ler as outras e considerar como vídeo, dai poderá exportar no formato que quiser.
Sobre salvar no formato que quiser, depende dos Codecs que estão instalados na sua máquina, o Max não instala nenhum e o VirtualDub também não, os pacotes de Codecs de vídeo como K-Lite são para decodificar, não para codificar.
Portanto, você precisa de algum Codec para encodar em MP4, se procurar no Google vai encontrar vários e se instalar vai aparecer no Max e no VirtualDUB, também tem programinhas que pegam um formato de vídeo e convertem em outro porque possuem o Codec embutido, por exemplo o Freemake Video, é de graça e converterá o AVI imenso exportado do RAM Player do Max para MP4 com 1 clique.
O link para download do Freemake é este:
https://www.freemake.com/Abração e tudo de bom.
André Vieira