Fix bug so that pgps.sh can report postmaster's pid correctly.