mplayer doesn't recognize fps of this file and plays it way too slow
(mplayer -fps 15 seems about right). plaympeg and xanim play it with
correct speed.