release.sh: add sha512sum