If GNU sha512sum is missing, try perl shasum in verify-commits