Added file UTARTU to recognize our variant of easycrypt