Additional header to be C++ compliant