Fix usage of KRB5_CONFIG environment.