Following up on r1805461, fix the actual executable name for SHA256SUM in the dist.sh script. * dist.sh: Invoke SHA256SUM=`sha256sum` rather than `sha1sum`.