remove extra KRB5_CONFIG, fix formatting