#5272: Fix bad size_t definition