Correct libcoinhsl based on gtmanfred's recommendations