Comment 19 for bug 1726818

1. Verified on both Ubuntu Linux 17.10 and Windows 10
2. The official ubuntu/artful64 box: https://app.vagrantup.com/ubuntu/boxes/artful64. The problem is verified with the currently latest version (v20171115.1.0)
3. Verified with the minimal vagrant configuration (see attached Vagrantfile).

Steps to reproduce:

0. install Vagrant and VirtualBox
1. $ mkdir artful-test
2. (copy the attached Vagrantfile to artful-test)
3. $ cd artful-test
4. $ vagrant up
5. $ vagrant ssh
6. (on vagrant-box)$ df -h

Result will be something like:

Filesystem Size Used Avail Use% Mounted on
udev 487M 0 487M 0% /dev
tmpfs 99M 3.1M 96M 4% /run
/dev/sda1 2.2G 896M 1.3G 42% /
tmpfs 495M 0 495M 0% /dev/shm
tmpfs 5.0M 0 5.0M 0% /run/lock
tmpfs 495M 0 495M 0% /sys/fs/cgroup
vagrant 210G 73G 138G 35% /vagrant
tmpfs 99M 0 99M 0% /run/user/1000

Expected: /dev/sda1 to have a size of around 10GB
Actual: /dev/sda1 has a size of 2.2GB