I saw a file the other night with an .mp4 extension. What codec is needed to play it? Defiler did not seem to be up to the job. I thought .mp4 was an audio format not a movie format but google says ...