pjs/webshell/embed/gtk/INSTALL