Fix a nasty miscompilation of 176.gcc on linux/x86 where we synthesized