Makefile:  ensure that 'default' is the default target