Fixing #840 (vagrant-trouble)