On `make clean', kill the core files produced, which are of the form: