Adds files missing from 9714464b36c76f74c7b3fface477391d646c6929.