make C++ happy