Include stdio.h for FILE