dolfin appears to be broken on el capitan because it depends on vtk5, which has a built error in 10.11 (see https://trac.macports.org/ticket/49418). vtk 6, on the other hand, installs without a problem. is there a way to get dolfin to use the vtk that does work in place of the one that doesn’t?