Rename tex3.ado to tex3pt.ado