update cmake example after hacl update (#434)

update cmake example after hacl update (#434) #664