riego/prod: links for easycrypt2