* fork-child.c, inferior.h (fork_inferior): New argument shell_file.