Replace destroy_machine by terminate argument