The Variadic plugin translation is incompatible with the use of option
 `-e-acsl-validate-format-strings`, so add the option
 `-variadic-no-translation` if the user activated the validation of
 format strings.