diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 7807773dd168dcd111c2c11a09ae6fa1efe817cc..2bf03166acb2f60479e64ec279fc544f2a97f2f7 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -72,10 +72,11 @@ let extend () =
       in
       run f;
       let tmpfile =
-        Filename.get_temp_dir_name () ^ "/aorai_" ^
-        (Filename.chop_extension
-           (Filename.basename (List.hd (Kernel.Files.get()):>string))) ^ "_" ^
-        (string_of_int (TestNumber.get ())) ^ ".i"
+        Filename.(concat (get_temp_dir_name ())
+                    ("aorai_" ^
+                     (chop_extension
+                        (basename (List.hd (Kernel.Files.get()):>string))) ^
+                     "_" ^ (string_of_int (TestNumber.get ())) ^ ".i"))
       in
       let () =
         Extlib.safe_at_exit