12.1.2013 x86 code generator update