gtkmenuplus file format