Missing an include for stdio.h