2013-02-02-17.40.55: src/lib/make-library-glue/patchable-file.pkg: Minor bugfixes in new code.