upgraded vagrant file
Use precise64 instead