/bin/rm -rf SRC OUT *.litmus *~ @all