Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-13 21:42:10 -0800 (Tue, 13 Dec 2005)
Revision: 8293
Log message:

      The name of the fake shell phony node should not be just "shell" (sice it
      might clash with an actual node). Changed it to "interactive shell input".