make sure size_t is defined