Fix server_names_hash_bucket_size