Does Reusing MIRACL’s PIN Cause the Same Problem?