fix builder type in VirtualBox provisioner script