Fix vagrantfile name