SHA-2

May as well use SHA-2 (512) instead of SHA-1, we are not really pressing
for time here.