preexport:
	rm checker.rts
