add autohalt option