Workaround for ubuntu appmenu bug