fixes some dependencies for dolfin