a file to be removed