diff --git a/src/verification.ml b/src/verification.ml
index ee4d1ded5ab445aa8c960bf672bc03b03897367c..a5073ea81f6e7f523dbfa646634ec79ddb83320e 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -54,7 +54,7 @@ let call_prover ~limit config (prover : Why3.Whyconf.config_prover) driver task
     | Some _ -> assert false (* By construction of the meta. *)
     | None -> invalid_arg (Fmt.str "No neural network model found in task")
   in
-  let nn_file = Filename.concat (Caml.Sys.getcwd ()) nn_file in
+  let nn_file = Unix.realpath nn_file in
   let command = Re.replace_string nnet_or_onnx ~by:nn_file command in
   let call_prover_on_task task_prepared =
     let prover_call =