correct sha for happygrep