TEMPORARY CHANGE: testing for CRuby
add option "nohalt" to use osv::poweroff() instead of osv::halt() if Guest aborted