actually using server_tokens in nginx class