Merge commit 'be0f9bb8' into goog/master

Trivial merge due to hash changes on adjacent lines.
No actual conflict.

Test: ./update-makefiles && make
Change-Id: Ie46406cce354647ca8be5e0660f3d7b953a5f796