tools: Fix compile error with older gcc versions.