Revert "Fix for HACL* on Windows reported by Antoine and Fournet (fix by Antoine)"
Revert "Fix for HACL* on Windows reported by Antoine and Fournet (fix by Antoine)"

This reverts commit 1d639a38157a89066005027c30d3e1bd516b5579.

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