Use vagrant x64