Revert accidentally-committed files in r214151.