naive implementation of pinning; does not work with current tlmgr output