Better recognition of pg_ctl for debian/ubuntu users.