fix missing stdio.h header