default vagrant debian 64 bit box and default Vagrantfile