PS: I have
SDCC : mcs51/gbz80/z80/avr/ds390/pic16/pic14/TININative/xa51/ds400/hc08 2.9.4 #5599 (Dec 18 2009) (MINGW32)

Sebastien