*: Using sha512 instead of sha256

sha512 is faster on 64bit systems than sha256, so prefer it over sha256

fixes #187 
smart quotes snuck in here :-/