Usefull for petsc to void to pass them in command line arguments or to
override .petscrc options (nightly tests can use different solvers
although .petscrc cannot be modified...)