CTAN update: SJTUTeX