Fix C++ type error with size_t not equal to ___SIZE_T