added instillation of TexLive