real-math: rename some PETSc implementation files that were confusing the debugger; just build the vector part of math