Get rid of --no-halt