New option -ns to manually indicate the name servers to use