Create sha512.h