Fix for bug #436 - just clear last_menus when set_current(NULL) is called