Back-side Kerberos SSO doesn't work after installing updating Airlock Gateway because old files are not deleted/recreated (new installations are not affected).
1) Run the following commands as root:
rm -f /var/airlock/kerberos/cache/*
2) Activate the current configuration
Sign in as admin in the Airlock Gateway Configuration Center.