bug #2037: Check if session cookie has been changed