Update HashSHA512.h