can you rename `PETSC_EXECUTABLE_RUNS`  in this line to something more readable?