2013-02-17-10.28.32: src/lib/make-library-glue/make-library-glue.pkg:  Minor tidying.