Fix generation of C type declarations