Get rid of these extraneous files.