oat file patching

Change-Id: Idbbdf19f3a77498d79d043fd33ca12ce39cafbb7
diff --git a/src/os.h b/src/os.h
index e73d9ff..3d7c0fa 100644
--- a/src/os.h
+++ b/src/os.h
@@ -27,7 +27,7 @@
  public:
 
   // Open a file. The returned file must be deleted by the caller.
-  static File* OpenFile(const char* name, bool writable);
+  static File* OpenFile(const char* name, bool writable, bool create=true);
 
   // Create a file from an already open file descriptor
   static File* FileFromFd(const char* name, int fd);