solve compile error with printf/ redefinition of the integer type