Adapt to new TexLive version
CHANGES and docs updates