HMAC Makefile: fix extraction and discard error related to strict aliasing for now
HMAC Makefile: fix extraction and discard error related to strict aliasing for now

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