nuwa/stage: links for easycrypt2