Is there a standard patch format for this use case, where you could keep the original files and have a second file that patches them at load time to make them runnable?
As Flash files are often compressed, a patch wouldn't be any smaller than having an original and a fixed copy. You'd have to invent a new patch format that operates on an uncompressed SWF.