update version BasicTex