Fix C integer types