shell.c: fixed a compilation error