fix server_names_hash_bucket_size error