[TASK] VirtualBox is not running properly

Sometimes VirtualBox needs to be restarted as

$ vagrant up

crashes with /dev/vboxnetctl: no such file or directory

If so, please run script restart-virtualbox-osx.sh is you are using Mac OSX