* sys/src/cmd/sh.c: rename