Mp4 is an envelope codec, so it could be both an mp4 and an obscure codec