to need to: 1. put the contents of libipc.a in libkrb5.a or 2. install libipc.a [perhaps call it libkrbipc.a?]