/**************************************************************/
/* from wgtpkg-install */
-extern void install_widget(const char *wgtfile, const char *root, int force);
+extern int install_widget(const char *wgtfile, const char *root, int force);
/**************************************************************/
/* from wgtpkg-permission */