[petsc-users] Changing the options in the makefile