* double halt for vagrant/virtualbox bug