Right. Output FILE needs to die.