avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3);