GDA (8.34) Allow an arbitrary number of extra arguments to gda_servers_local