Update OTF after fix in dolfin-adjoint