Replace "-s init stop" with halt()