2013-02-03-21.30.15: src/lib/make-library-glue/patchable-file.api:  Added set_patch.