fix for vagrantfile