--- a/src/os/windows/vm/os_windows.hpp	Sat Feb 22 10:22:05 2014 +0100
+++ b/src/os/windows/vm/os_windows.hpp	Sun Feb 23 13:16:03 2014 -0500
@@ -26,6 +26,9 @@
 #define OS_WINDOWS_VM_OS_WINDOWS_HPP
 // Win32_OS defines the interface to windows operating systems
 
+// Information about the protection of the page at address '0' on this os.
+static bool zero_page_read_protected() { return true; }
+
 class win32 {
   friend class os;