fix gnome-panel and mupdf