default default_pcp setup check:

clobber clean:
	rm -f domain.h domain.h.python domain.h.save
	rm -f pmns pmns.python pmns.save
