Hi Marcelo,

x86 missing system.h bits got fixed by Changeset 1.793 but this is also 
missing for the following arches:

- ALPHA, ARM, CRIS, IA64, s390, s390x, sparc, sparc64.

ciao, Marc