extern int plr_display_x11_main(int argc, char *argv[]);