Merge "Docs: The usual linux build environment is Ubuntu 12.04"