Add missing include for stdio.h