Added missing include to C-stubs