Add include for FILE*