Согласно https://www.postgresql.org/docs/current/gssapi-auth.html:
Когда GSSAPI использует Kerberos, он использует стандартный принципал в формате имя_службы / hostname@realm
и
необходимо соблюдать осторожность, чтобы указать правильные основные данные при установлении соединения от клиента с использованием параметра соединения krbsrvname. (См. Также раздел 33.1.2.) Установочное значение по умолчанию можно изменить со значения по умолчанию postgres во время сборки, используя ./configure --with-krb-srvnam = что угодно.
Но если я загляну в исходный код Postgres на Github,
Означает ли это, что сервер не нужно перекомпилировать, если мне нужно использовать другое имя krbsrvname?
Необходимо перекомпилировать клиент, а не сервер. (Хотя обычно вы, вероятно, перекомпилируете оба вместе). Или вы можете просто переопределить значение по умолчанию с правильным значением и ничего не перекомпилировать.