Switch ChangeCounter to RFC8040