write krb5.conf on samba4 provision
s4sync: die when samba is not provisioned