------- Comment #14 from tbm at cyrius dot com 2007-12-14 14:15 ------- Well, Mark asked for a good reason for removing the headers, and none was given, which would imply the next step would have been to revert their removal. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33831