Add --with-krb5 to PostgreSQL builds