rAKA/src/solver/vector_petsc.cc

bugfixes/macos…