--- ./src/widgets/menu.cc.orig	2024-01-24 01:47:33
+++ ./src/widgets/menu.cc	2024-01-24 01:47:45
@@ -11,7 +11,6 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
-#include <ext/alloc_traits.h>
 #include <memory>
 #include <type_traits>
 #include <utility>