extern char *level_directory;
extern int width, height;
+extern char *display_name;
extern char *server_host;
extern int server_port;
extern int networking;
extern int background_loop[];
extern int num_bg_loops;
-extern char *progname;
+extern char *program_name;
/* often used screen positions */