hack to fix server names hash bucket