1) Make sure you are using the right kinit. Run type kinit if bash is your shell and check the path. 2) Run kinit under a debugger and see where it segfaults. If you use a kinit out of the build tree rather than something you get after make install, it will have symbols.