Fix C types