--- src/shared/images.c.old 2011-04-02 19:31:52.000000000 +0200 +++ src/shared/images.c 2011-04-02 19:32:13.000000000 +0200 @@ -32,6 +32,7 @@ #include #include +#include /** image formats, tried in this order */ static char *IMAGE_TYPES[] = { "tga", "png", "jpg", NULL };