Revert "Try another fix"
Revert "Try another fix"

This reverts commit 5b3e187f3752e64d7fa23d7bac4bc72a7a652dc5.

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star