--prefix=/u/astrid-r1b/habbalf/issmuci/trunk-jpl/externalpackages/petsc-dev/src/linux-gnu-amd64