Index: defaults/ia32/output
===================================================================
--- defaults/ia32/output	(revision ab5e715c9c9fdb8ec05b2ab17bac83932cdd3a57)
+++ defaults/ia32/output	(revision 32355bc2675221a81e8722fb213071b8c8b14979)