SQUASH/shell.c: make clint pass