Update to match typename produced by the C frontend