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...

