Use sha512 instead of sha256

Fixes #8