42046d565046969e0f150acd2ec2aca7e67fc9fd  tex3patch