Is there any library which implements SHA-512 in C? For example, Linux sha512sum. Where can I get it?