maybe more graceful shutdown of guests
minor tweak to destroy_if_running()