Makefile: do not expect bash to be the SHELL