Revert "Remove some unnecessary files."

This reverts commit 37fa603708c637738ecd9ac5a292ff8ae16286e0.