Fix echo command in vagrantfile