Adding stdio.h include, required for build with some gcc versions on Linux. Noticed by Michael Mikonos.
Authored by: debug 2021-01-06
Parent: [r6299]
Child: [r6301]
