diff --git a/src/goto-programs/goto_program_template.h b/src/goto-programs/goto_program_template.h
index 8dd62262e33..94ef7c8a297 100644
--- a/src/goto-programs/goto_program_template.h
+++ b/src/goto-programs/goto_program_template.h
@@ -216,8 +216,15 @@ class goto_program_templatet
     }
 
     //! Uniquely identify an invalid target or location
+    #if (defined _MSC_VER && _MSC_VER <= 1800)
+    // Visual Studio <= 2013 does not support constexpr, making
+    // numeric_limits::max() unviable for a static const member
+    static const unsigned nil_target=
+      static_cast<unsigned>(-1);
+    #else
     static const unsigned nil_target=
       std::numeric_limits<unsigned>::max();
+    #endif
 
     //! A globally unique number to identify a program location.
     //! It's guaranteed to be ordered in program order within
diff --git a/src/goto-programs/remove_static_init_loops.cpp b/src/goto-programs/remove_static_init_loops.cpp
index f1084d6ca53..3e529c75026 100644
--- a/src/goto-programs/remove_static_init_loops.cpp
+++ b/src/goto-programs/remove_static_init_loops.cpp
@@ -6,6 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 \*******************************************************************/
 
+#include <algorithm>
+
 #include <util/message.h>
 #include <util/suffix.h>
 #include <util/string2int.h>
diff --git a/src/solvers/prop/aig.cpp b/src/solvers/prop/aig.cpp
index 5d5c9839f8e..1b6d186d271 100644
--- a/src/solvers/prop/aig.cpp
+++ b/src/solvers/prop/aig.cpp
@@ -8,7 +8,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <cassert>
 #include <ostream>
-
+#include <string>
 
 #include "aig.h"