PETSc hello world with CMake