modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;
modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle