Remove dolfin dep on UFC