Index: defaults/ia32/output
===================================================================
--- defaults/ia32/output	(revision 1aa9eff98036fa9bbde659542dbbfe03936724c8)
+++ defaults/ia32/output	(revision 40c0483683dc49a028bfc7f0055e3ee5328111a2)