diff --git a/src/plugins/variadic/standard.ml b/src/plugins/variadic/standard.ml
index 6ca8ff90c6eddbe2dfd253b50df02acb309b8b15..f052b612e43914074b74d1d76cce4f07555082b5 100644
--- a/src/plugins/variadic/standard.ml
+++ b/src/plugins/variadic/standard.ml
@@ -382,7 +382,7 @@ let build_specialized_fun env vf format_fun tvparams =
   let new_name = name ^ "_va_" ^ (string_of_int vf.vf_specialization_count) in
 
   (* Start building the function *)
-  let funvar = Build.open_function new_name in
+  let funvar = Build.open_function ~vorig_name:name new_name in
 
   (* Set function return type and attributes *)
   let ret_typ, params, _, attrs = Cil.splitFunctionType vf.vf_original_type in