Getting rid of an unneeded file.