which is really important. This is a stopgap measure, as only the generated
C code is adapted. Fixes #776533.