o_dsync mode not supported

Signed-off-by: Amit Pundir <amit.pundir@linaro.org>
diff --git a/src/sat.cpp b/src/sat.cpp
index 2730ed1..19de0d0 100644
--- a/src/sat.cpp
+++ b/src/sat.cpp
@@ -77,7 +77,7 @@
   // Open logfile.
   if (use_logfile_) {
     logfile_ = open(logfilename_,
-                    O_WRONLY | O_CREAT | O_DSYNC,
+                    O_WRONLY | O_CREAT | O_SYNC,
                     S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH);
     if (logfile_ < 0) {
       printf("Fatal Error: cannot open file %s for logging\n",