<div dir="ltr">I manually installed libtools yesterday and all seemed well but I cloned a new PETSc just now and now get this error. </div>