fix C interface types