a global destructor to close stdout carefully Jim Meyering <jim@meyering.net>