Dev VirtualBox machines setup scripts