char *x11_icon_filename, char *x11_iconmask_filename,
char *msdos_cursor_filename,
char *cookie_prefix, char *filename_prefix,
char *x11_icon_filename, char *x11_iconmask_filename,
char *msdos_cursor_filename,
char *cookie_prefix, char *filename_prefix,