replace envy-versions with our own server. envy-versions is gone