diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c
index fefa3be..5854c90 100644
--- a/src/gnome-shell-extension-prefs.c
+++ b/src/gnome-shell-extension-prefs.c
@@ -2,9 +2,10 @@
 
 #include <girepository.h>
 #include <gjs/gjs.h>
+#include <libintl.h>
 
 int
-main (int argc, char *argv)
+main (int argc, char *argv[])
 {
   const char *search_path[] = { "resource:///org/gnome/shell", NULL };
   GError *error = NULL;
