arm 32 bits: native def fixes; workarounds for gcc

arm 32 bits: native def fixes; workarounds for gcc #193