ksh PS4 Environment Variable

The PS4 environment variable is currently unused by dbx.