Revert "Drop unneeded files"

This reverts commit 33992ebc101cf6c745870098b4249a92b56e6256.