ServerTokens deprecated? commented out in config