Revert "Force regeneration of .depend"
Revert "Force regeneration of .depend"

This reverts commit ea6f5b26b17817ffaac603fddc30b2c84faaf6fb.

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