delete a file which is no longer needed