install tex by basictex