Upgrading to Identity Manger 4.7.2: lessons from the field