Fixed #73: Vagrantfile