Fix the mp4 capitalization in mp4 file version download link