Fix menu management error under Linux