issue #3113: 32Bit fix and 13.10 32bit complication is ok.