am 4d8a9810: am a328d257: Merge "Docs: The usual linux build environment is Ubuntu 12.04"

* commit '4d8a981012eb890d64e7600b7037837276ba9fa3':
  Docs: The usual linux build environment is Ubuntu 12.04