Add .shell.c, a wrapper shell for Linux use.