anche con mplayer (-vo png o -vo jpg, e scegliendo il frame che ti interessa con non mi ricordo che comando)

io però userei avidemux (ammesso che sia un avi)