.mp4 to avi playable with panda3d

Panda uses ffmpeg to load videos. I’d be surprised if ffmpeg can’t load .mp4 files directly.