Fix menu update under Ubuntu