prefer Isabelle shasum over the old command-line tool with its extra marker character;