Such people can either use lower quality H.264 versions which are commonly provided, or as others said, get an external device to decode modern free codecs.