Miners are better for servers now. Please update!