Bringing machine 'default' up with 'virtualbox' provider...
==> default: Box 'lucid64' could not be found. Attempting to find and install...
default: Box Provider: virtualbox
default: Box Version: >= 0
==> default: Box file was not detected as metadata. Adding it directly...
==> default: Adding box 'lucid64' (v0) for provider: virtualbox
default: Downloading: http://files.vagrantup.com/lucid64.box
default: Download redirected to host: hashicorp-files.hashicorp.com
default:
An error occurred while downloading the remote file. The error
message, if any, is reproduced below. Please fix this error and try
again.
Failed to connect to hashicorp-files.hashicorp.com port 443: Timed out
