Remove apparently unused file