default: dump

dump:
	./dump.sh

clean:
	rm -rf *.tmp