fix to make extra types C-compileable