Modified Vagrantfile to use precise64 box instead of nodebox-precise box