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