Simplify Vagrantfile, don't default to NFS