Fixed printf formats for 32bits gcc