Fix c tutorial

Fixes #678

Still missing symbols, though