b8ec0f74c74cb6752eb2033ad8e755a9c19aad15 C: add missing header