Revert "Remove redundant file"

This reverts commit 0b96de2824ab14930fe5e66c42fb00e949cb395c.
Revert "Revert "Remove redundant file""

This reverts commit e9b55a2143c01f9a0263c974199e1d762c7ad9ec.