add a header for manually written stubs
correct C-side hash structure type