2013-02-02-16.27.40: src/lib/make-library-glue/patchable-file.pkg:  Added a print_patchable_file fn for debugging.