make clean  will remove ALL derived files as until recently.
make tidy   does the same, but leaves the make tools untouched.