@feelpp/feelpp use properly the options for petsc configure arguments