[FIX] problem with Ubuntu 13.10 menus fixed by an alias in .bashrc