diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
index 8c90f2b4..f078a8cc 100644
--- a/.github/workflows/z3_trace_log_gen.yml
+++ b/.github/workflows/z3_trace_log_gen.yml
@@ -42,7 +42,7 @@ jobs:
             gzip -c "$file" > "$logs/${base_name}.log.gz"
             echo "Compressed $file and saved to $logs/${base_name}.log.gz"
           done
-          echo "::set-output name=logs_path::$(readlink --canonicalize logs)"
+          echo "::set-output name=logs_path::$(realpath logs)"
 
       - name: Upload Build Artifacts
         uses: actions/upload-artifact@v3.1.2
diff --git a/smt-problems/small_forall_example copy.smt2 b/smt-problems/small_forall_example copy.smt2
deleted file mode 100644
index cb107b69..00000000
--- a/smt-problems/small_forall_example copy.smt2	
+++ /dev/null
@@ -1,6 +0,0 @@
-(declare-const x (_ BitVec 64))
-(declare-const z (_ BitVec 64))
-(assert (forall ((x (_ BitVec 64)) (z (_ BitVec 64)))
-    (= (bvsub (bvadd x z) (bvshl (bvand x z) (_ bv1 64))) (bvxor x z))))
-
-(check-sat)