@anders_gud: just a quick question: what should the gtk_menu file contain? or is it just an empty file?