Add <stdint.h> for <vsha256.h>