gcc implements different printf modifiers for size_t values