Default VM name for VirtualBox contains Vagrantfile VM name [GH-1281]