Revert "Deletion of useless files"

This reverts commit 9f7027d2bdc5d4ff461f459812a2c7ace804a2e5.