Revert "Revert "Deletion of useless files""

This reverts commit 1214819047678267675bd02c87b3d874acc97384.