diff --git a/library/jvm/src/main/scala/org/sireum/Os_Ext.scala b/library/jvm/src/main/scala/org/sireum/Os_Ext.scala
index 34796f7c..25a95dae 100644
--- a/library/jvm/src/main/scala/org/sireum/Os_Ext.scala
+++ b/library/jvm/src/main/scala/org/sireum/Os_Ext.scala
@@ -293,7 +293,9 @@ object Os_Ext {
         if (Os.isWin) {
           JFiles.move(p, t)
         } else {
-          JFiles.move(p, t, SCO.COPY_ATTRIBUTES)
+          try JFiles.move(p, t, SCO.COPY_ATTRIBUTES) catch {
+            case _: Exception => JFiles.move(p, t)
+          }
         }
     }
   }