Project menu is empty when Ubuntu/Unity is enabled (#1918) · Issues · pub / frama-c