--- src/gui/OptionsMenu.cc.orig	2021-08-31 07:45:36 UTC
+++ src/gui/OptionsMenu.cc
@@ -18,6 +18,8 @@
 
 #include "gui/OptionsMenu.hh"
 
+#include <libintl.h>
+
 #include <cassert>
 #include <sstream>
 
