simple tweak on xmenu.sh