use Debian pgf