Updated texs2tex