[MacPorts] #42280: dolfin port fails at while installing petsc