Re: [petsc-dev] Compiling C code with C compiler