--- judge.h_old 2013-11-15 22:00:35.085301859 +0100 +++ judge.h 2013-11-15 22:00:54.811967958 +0100 @@ -22,6 +22,7 @@ #include <stdbool.h> #include <fcntl.h> #include <time.h> +#include <sys/stat.h> typedef unsigned int uint; typedef long long int llint;