minor fixes to libkrb5 Makefile
There are two mistakes in the libkrb5 Makefile:
1. Setting BUILD64 causes make to fail with a parser error.
2. INS.file should be used to install files.
3. The makefile should know how to create KRB5INCDIR.