Add host-petsc parameters for Debian.