Rename .m4v to .mp4 so you can upload to @github.