Vagrant file and bootstrap.sh for precise32