#include "tools.h"
#include "files.h"
#include "joystick.h"
-#include "gfxload.h"
-#include "gifload.h"
+#include "image.h"
#include "network.h"
#include "netserv.h"
char *picturemask_ext = "Mask.xbm";
#else
int gif_err;
- char *picture_ext = ".gif";
+ char *picture_ext = ".pcx";
#endif
#ifdef DEBUG_TIMING
#else
- gif_err = Read_GIF_to_Pixmaps(display, window, filename,
+ gif_err = Read_PCX_to_Pixmaps(display, window, filename,
&pix[pos], &clipmask[pos]);
switch(gif_err)