Aparte de lo del proyecto, que habría sido muy sencillo, me ha escrito por PM; creo que ya está solucionado.
Al final el problema que tenía era que el compiler no le encontraba la librería debido a que no la tenía en el sitio adecuado. Le dije por PM que buscase stdio.h en su sistema y que metiese ahí sus librerías. Funcionó
Lo escribo por si alguien tiene un problema parecido...