.DEFAULT:
	@echo "Use GNU make or a compatible one with -f GNUmakefile"; exit 1
