Reference Josh's version of pe_server, now that it has the console.conf ...

...changes