diff --git a/debug_console.cpp b/debug_console.cpp
index 91d2d8041c..8691039e97 100644
--- a/debug_console.cpp
+++ b/debug_console.cpp
@@ -27,6 +27,7 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #include "unmanaged.h"
 #include "wayland_server.h"
 #include "workspace.h"
+#include "keyboard_input.h"
 #if HAVE_INPUT
 #include "libinput/connection.h"
 #include "libinput/device.h"