Makefile tweaks for -DDEBUG