# just call the Makefile above
all:
	$(MAKE) -C ..
