rewrite_file():  Delete both .pyc and .pyo leftovers, and explicitly close
the new source file after writing to it.