Revert "Unimportant file deletion"

This reverts commit 18b6d0461bd4061871fc241f02598ca49b7b127b.