* Makefile.in (SHELL): Now @SHELL@, not /bin/sh,