change vagrant base box to vanilla ubuntu 12.04 w/ 3.8 kernel