Update TeXmacs to use SHA256