new defaults (+ alternatives) for the Makefile