Obtaining PGE

Assuming that you are using Debian Stretch you could obtain pge adding these entries to your /etc/apt/sources.list.

deb stretch main
deb-src stretch main

Now they can be installed by using the following commands:

$ sudo apt-get update
$ sudo apt-get install dselect
$ sudo dselect

In dselect you should choose option 1 update and then choose option 2 and select the package pge. Then you should press Q and then select option 3 install.