Use platform name to determine which vagrant box to download