Debian control files for PETSC