use sha512sum instead of sha256