makefile PETSC