to bsd.prog.mk. use them instead of hard coding various lists of libraries for krb5. this fixes static builds.