TexLive less greedy