diff --git a/src/console.cpp b/src/console.cpp
index 5203a479a..580c075d3 100644
--- a/src/console.cpp
+++ b/src/console.cpp
@@ -162,5 +162,5 @@ void user_printf(const char *format, ...)
   uvsprintf(buf, format, ap);
   va_end(ap);
 
-  allegro_message(buf);
+  allegro_message("%s", buf);
 }
diff --git a/src/main.cpp b/src/main.cpp
index fc2291ef1..b7be50982 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -72,7 +72,7 @@ int vaca_main()
     e.show();
   }
   catch (std::exception& e) {
-    allegro_message(e.what());
+    allegro_message("%s", e.what());
   }
 #ifndef DEBUGMODE
   catch (...) {
diff --git a/src/resource_finder.cpp b/src/resource_finder.cpp
index 47a187283..5928f54ad 100644
--- a/src/resource_finder.cpp
+++ b/src/resource_finder.cpp
@@ -19,6 +19,7 @@
 #include "config.h"
 
 #include <allegro.h>
+#include <cstdio>
 
 #include "resource_finder.h"