I say we smash it with enough asteroids to double it size, if we do it one after another maybe we can heat it up enough to get the core going again and then wait a few million years before the surface is cool again so we can continue terraforming it.