Eric Shubert - 2013-04-17

If you're inclined to roll your own IPCop for the time being, I believe that if you comment out the following in the config/rootfiles/krb5 file, it will build what you're looking for.
#usr/lib/libkrb5support.so.0
#usr/lib/libkrb5support.so.0.1